نظریه مرتبه اول برش های ددکیند در گروه های مرتب

حساب مرتبه اول پئانو و زیرنظریه های آن همراه با چند مساله مرتبط در نظریه پیچیدگی

در این مقاله، مروری بر نظریه های مرتبه اول حساب خواهیم داشت. همچنین اشاره خواهیم کرد که زیرنظریه های ضعیف حساب، ارتباط های اساسی با نظریه پیچیدگی دارند. در انتها، اشاره ای به نظریه های مرتبه اول شهودی حساب خواهیم کرد.

نظریه های مرتبه عالی تر در باره آگاهی

نظریه های عمومی در منطق مرتبه اول شهودی

در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم.دو مفهوم زیرمدل و جملات عمومی را تعریف می کنیم.مفهوم زیرمدل را برای مدلهای کریپکی به صورتهای مختلفی می توان تعریف کرد. می توان قاب یا جهان ساختار یا هر دورا تحدید کرد.در اینجا تعریف سوم از زیرمدل را در نظر می گیریم.یک زیرمدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر راس از این...

ایده آل های اول فازی و رادیکال های فازی در نیم گروه های مرتب

در فصل اول، تعاریف و پیش نیازهای مورد نیاز برای فصل های آتی ارائه گردیده است. در فصل دوم، چند دسته از نیم گروه های مرتب را با استفاده از ایده آل ها، دو- ایده آل ها، ایده آل های فازی و دو- ایده آل-های فازی مشخص می کنیم. در فصل سوم، ابتدا نقطه فازی مرتب و زیرمجموعه فازی قویاً محدب را معرفی کرده و نشان می دهیم که هر زیرمجموعه فازی قویاً محدب را می توان به صورت اجتماع تمام نقاط فازی مرتب متعلق به ن...

ترمودینامیک سیاهچاله های چرخان و گرانش با تصحیحات مرتبه اول نظریه ریسمان

در این مقاله جوابهای چرخان با افق تخت در گرانش با تصحیحات مرتبه اول نظریه ریسمان معرفی می گردد. اگر چه این گونه جوابها به صورت مجانبی آنتی دوسیته نمی باشند, ولی نشان داده می شود که می توان از روش کانترترم (counterterm) برای محاسبه کمیتهای پایای این سیستم گرانشی استفاده نمود. در اینجا ضمن بازنویسی مختصر این روش کمیتهای پایای این گونه جوابها به دست می آیند. همچنین با به دست آوردن جرم سیاهچاله به ...

ترمودینامیک سیاهچاله‌های چرخان و گرانش با تصحیحات مرتبه اول نظریه ریسمان

  In this paper, the rotating black brane solutions with zero curvature horizon of classical gravity with first order string corrections are introduced. Although these solutions are not asymptotically anti de Sitter, one can use the counterterm method in order to compute the conserved quantities of these solutions. Here, by reviewing the counterterm method for asymptotically anti de Sitter spac...